Modular specification of forbidden states for supervisory control
نویسندگان
چکیده
منابع مشابه
Modular specification of forbidden states for supervisory control
This paper has been peer-reviewed but may not include the final publisher proof-corrections or pagination. Access to the published version may require subscription. Abstract: A method for solving the forbidden state problem in the Supervisory Control Theory framework is presented. In many real-world applications both the plant and specification is given as a set of interacting automata or proce...
متن کاملSupervisory control of modular systems with global specification languages
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists of the parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily c...
متن کاملPSPACE-completeness of Modular Supervisory Control Problems*
In this paper we investigate computational issues associated with the supervision of concurrent processes modeled as modular discrete-event systems. Here, modular discrete-event systems are sets of deterministic finite-state automata whose interaction is modeled by the parallel composition operation. Even with such a simple model process model, we show that in general many problems related to t...
متن کاملSpecification and Supervisory Control for Multi-agent Product Systems
The prescription of sets of trajectories for controlled finite deterministic automaton G is formulated via the notion of the class of specifications denoted, both individually and collectively, by SPEC. Next, the formulation and (language) specification of structures for interacting automata are developed within the Multi-Agent (MA) product framework (Hubbard and Caines, 1999), and specificatio...
متن کاملCost Based Implementation of Modular Supervisory Control Theory
This paper presents a proposal for the implementation of the local modular supervisory control theory focused on the cost. From the approach based on the controllable languages, the paper explores the accomplishment of the theoretical model in low cost platforms, based on small-sized PLCs, micro-controllers and commercial electronic devices. A control structure is, then, proposed as the adequat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2010
ISSN: 1474-6670
DOI: 10.3182/20100830-3-de-4013.00068